In this paper I examine the prospects for a successful neo–logicist reconstruction of the real numbers, focusing on Bob Hale's use of a cut-abstraction principle. There is a serious problem plaguing Hale's project. Natural generalizations of this principle imply that there are far more objects than one would expect from a position that stresses its epistemological conservativeness. In other words, the sort of abstraction needed to obtain a theory of the reals is rampantly inflationary. I also indicate briefly why this (...) problem is likely to reappear in any neo–logicist reconstruction of real analysis. (shrink)

Drawing on a landscape analysis of existing data-sharing initiatives, in-depth interviews with expert stakeholders, and public deliberations with community advisory panels across the U.S., we describe features of the evolving medical information commons. We identify participant-centricity and trustworthiness as the most important features of an MIC and discuss the implications for those seeking to create a sustainable, useful, and widely available collection of linked resources for research and other purposes.

Roy T Cook examines the Yablo paradox--a paradoxical, infinite sequence of sentences, each of which entails the falsity of all others that follow it. He focuses on questions of characterization, circularity, and generalizability, and pays special attention to the idea that it provides us with a semantic paradox that involves no circularity.

It is shown that the logical truth of instances of the T-schema is incompatible with the formal nature of logical truth. In particular, since the formality of logical truth entails that the set of logical truths is closed under substitution, the logical truth of T-schema instances entails that all sentences are logical truths.

Paradoxes are arguments that lead from apparently true premises, via apparently uncontroversial reasoning, to a false or even contradictory conclusion. Paradoxes threaten our basic understanding of central concepts such as space, time, motion, infinity, truth, knowledge, and belief. In this volume Roy T Cook provides a sophisticated, yet accessible and entertaining, introduction to the study of paradoxes, one that includes a detailed examination of a wide variety of paradoxes. The book is organized around four important types of paradox: the (...) semantic paradoxes involving truth, the set-theoretic paradoxes involving arbitrary collections of objects, the Soritical paradoxes involving vague concepts, and the epistemic paradoxes involving knowledge and belief. In each of these cases, Cook frames the discussion in terms of four different approaches one might take towards solving such paradoxes. Each chapter concludes with a number of exercises that illustrate the philosophical arguments and logical concepts involved in the paradoxes. _Paradoxes_ is the ideal introduction to the topic and will be a valuable resource for scholars and students in a wide variety of disciplines who wish to understand the important role that paradoxes have played, and continue to play, in contemporary philosophy. (shrink)

Abstractionism is a philosophical account of the ontology of mathematics according to which abstract objects are grounded in a process of abstraction. Abstraction involves arranging a domain of underlying objects into classes and then identifying … Continue reading Abstractionism →.

This article reports the findings of a one-year project examining British press coverage of the genetically modified food debate during the first half of 2003, and both expert and non-expert reactions to that coverage. Two pro-GM newspapers and two anti-GM newspapers were selected for analysis, and all articles mentioning GM during the period in question were stored in a machine readable database. This was then analyzed using corpus linguistic and discourse analytic techniques to reveal recurrent wording, themes and content. This (...) text analysis was complemented by 12 interviews with experts involved in the communication of GM issues, and 12 focus-group sessions in which members of the public reacted to selected newspaper texts and other GM material. Both in the press and in public reaction, the issue of GM was found to be intimately associated with other political events of the time, notably the invasion of Iraq. Except among experts, there was little awareness of the official national debate and issues were approached in more general terms. Pro-GM characterization of the issues as primarily scientific, both by newspapers and experts, was rejected by the anti-GM press and campaigners, and by the focus-group participants. They assessed the issues in a more global frame, rejecting scientists and companies as unreliable. In addition, they linked both US and British GM policy to the invasion of Iraq, and, by analogy, rejected pro-GM arguments as untrustworthy. (shrink)

Logical pluralism is the view that there is more than one correct logic. In this article, I explore what logical pluralism is, and what it entails, by: (i) distinguishing clearly between relativism about a particular domain and pluralism about that domain; (ii) distinguishing between a number of forms logical pluralism might take; (iii) attempting to distinguish between those versions of pluralism that are clearly true and those that are might be controversial; and (iv) surveying three prominent attempts to argue for (...) logical pluralism and evaluating them along the criteria provided by (ii) and (iii). (shrink)

Unique in presenting a thoroughgoing examination of the mathematical aspects of the neo-logicist project (and the particular philosophical issues arising from these technical concerns).

The Revenge Problem threatens every approach to the semantic paradoxes that proceeds by introducing nonclassical semantic values. Given any such collection Δ of additional semantic values, one can construct a Revenge sentence:This sentence is either false or has a value in Δ.TheEmbracing Revengeview, developed independently by Roy T. Cook and Phlippe Schlenker, addresses this problem by suggesting that the class of nonclassical semantic values is indefinitely extensible, with each successive Revenge sentence introducing a new ‘pathological’ semantic value into the (...) discourse. The view is explicitly motivated in terms of the idea that every notion thatseemsto be expressible should, if at all possible,beexpressible. Extant work on the Embracing Revenge view has failed to live up to this promise, since the formal languages developed within such work are expressively impoverished. We rectify this here by developing a much richer formal language, and semantics for that language, and we then prove an extremely powerful expressive completeness result for the system in question. (shrink)

One of the main problems plaguing neo-logicism is the Bad Company challenge: the need for a well-motivated account of which abstraction principles provide legitimate definitions of mathematical concepts. In this article a solution to the Bad Company challenge is provided, based on the idea that definitions ought to be conservative. Although the standard formulation of conservativeness is not sufficient for acceptability, since there are conservative but pairwise incompatible abstraction principles, a stronger conservativeness condition is sufficient: that the class of acceptable (...) abstraction principles be strictly logically symmetrically class conservative . The article concludes with an examination of which classes of abstraction principles meet this criteria. (shrink)

LEGO and Creativity -- LEGO, Ethics, and Rules -- LEGO and Identity -- LEGO, Consumption, and Culture -- LEGO, Metaphysics, and Math.

This appendix is intended to assist the reader in becoming comfortable with the notations, rules, and definitions of Frege's Grundgesetze.

During the Winter of 2011 I visited SADAF and gave a series of talks based on the central chapters of my manuscript on the Yablo paradox. The following year, I visited again, and was pleased and honored to find out that Eduardo Barrio and six of his students had written ‘responses’ that addressed the claims and arguments found in the manuscript, as well as explored new directions in which to take the ideas and themes found there. These comments reflect my (...) thoughts on these responses (also collected in this issue), as well as my thoughts on further issues that arose during the symposium that was based on the papers and during the many hours I spent talking and working with Eduardo and his students. Durante el invierno de 2011, visité SADAF y dí una serie de conferencias sobre los capítulos centrales de mi manuscrito sobre la paradoja de Yablo. El año siguiente, visité Buenos aires nuevamente y tuve el placer y el honor de descubrir que Eduardo Barrio y seis de sus estudiantes habían escrito respuestas que abordan las afirmaciones y argumentos de mi manuscrito, además de explorar nuevas direcciones en las cuales considerar las ideas y temas encontrados allí. El presente trabajo refleja mis pensamientos sobre estas respuestas (también incluidas en este volumen), así como mis ideas sobre otras cuestiones que surgieron durante el simposio en el que se presentaron los artículos y en las muchas horas que nosotros discutimos y trabajamos con Eduardo y sus estudiantes. (shrink)

It is sometimes suggested that impure sets are spatially co-located with their members (and hence are located in space). Sets, however, are in important respects like numbers. In particular, sets are connected to concepts in much the same manner as numbers are connected to concepts—in both cases, they are fundamentally abstracts of (or corresponding to) concepts. This parallel between the structure of sets and the structure of numbers suggests that the metaphysics of sets and the metaphysics of numbers should parallel (...) each other in relevant ways. This entails, in turn, that impure sets are not co-located with their members (nor are they located in space). (shrink)

The Embracing Revenge account of semantic paradox avoids the expressive limitations of previous approaches based on the Kripkean fixed point construction by replacing a single language with an indefinitely extensible sequence of languages, each of which contains the resources to fully characterize the semantics of the previous languages. In this paper we extend the account developed in Cook (2008), Cook (2009), Schlenker (2010), and Tourville and Cook (2016) via the addition of intensional operators such as ``is paradoxical''. (...) In this extended framework we are able to characterize the difference between sentences, such as the Liar and the Truth-teller, that receive the same semantic value in minimal fixed points yet seem to involve distinct semantic phenomena. (shrink)

A co-authored article with Roy T. Cook forthcoming in a special edition on the Caesar Problem of the journal Dialectica. We argue against the appeal to equivalence classes in resolving the Caesar Problem.

Es bestehen tiefgreifende Zusammenhänge zwischen Leibniz' Mathematik und seiner Metaphysik. Dieser Aufsatz hat das Ziel, das Verständnis für diese beiden Bereiche zu erweitern, indem er Leibniz' Mereologie (die Theorie der Teile und des Ganzen) näher untersucht. Zunachst wird Leibniz' Mereologie primär anhand seiner Schrift “Initia rerum mathematicarum metaphysica" rekonstruiert. Dieses ehrgeizige Programm beginnt mit dem einfachen Begriff der Kompräsenz, geht dann iiber zu komplexeren Begriffen wie Gleichheit, Ähnlichkeit und Homogenität und kulminiert letztlich in der Leibnizschen Definition der Begriffe Teil, Ganzes (...) und Komposition. Im Verlauf des Aufsatzes werden auch weitere Erkenntnisse in anderen Bereichen gewonnen, so z. B. in bezug auf die Identität des Ununterscheidbaren. Schließlich werde ich im Rahmen der vorgelegten Theorie versuchen, ein Mißverständnis bezüglich Leibniz' Analogie zwischen Monaden und mathematischen Punkten, welche sich auf die Räumlichkeit der Monaden bezieht, auszuräumen. (shrink)

This dictionary introduces undergraduate and post-graduate students in philosophy, mathematics, and computer science to the main problems and positions in philosophical logic. Coverage includes not only key figures, positions, terminology, and debates within philosophical logic itself, but issues in related, overlapping disciplines such as set theory and the philosophy of mathematics as well. Entries are extensively cross-referenced, so that each entry can be easily located within the context of wider debates, thereby providing a valuable reference both for tracking the connections (...) between concepts within logic and for examining the manner in which these concepts are applied in other philosophical disciplines. Roy T. Cook is Assistant Professor in the Department of Philosophy at the University of Minnesota and an Associate Fellow at Arché, the Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology at the University of St Andrews. He works primarily in the philosophy of logic, language, and mathematics, and has also published papers on seventeenth century philosophy. (shrink)

‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...) logic. Plumwood's work serves as our primary case study as we turn to the project of considering three different ways we might understand her argument and revisionist arguments like it: as a priori theorizing, as ameliorative conceptual engineering, or as instances of anti-exceptionalist approaches to logic. After arguing that the anti-exceptionalist approach seems to provide the most promising means of understanding the kind of project undertaken in a feminist challenge to classical logic, we briefly address the consequences that this might have for logic instruction. Here, we argue for the perhaps unexpected conclusion that feminist programs ought to offer more, not less, instruction in logic for those who take interest. (shrink)